$\forall$$n$:$\mathbb{N}$. nth\_tl($n$;nil) $\sim$ nil